φ: P n �� � (P 1) n+1

نویسندگان

  • Nicolás S. Botbol
  • N. S. Botbol
چکیده

We develop in this paper some methods for studying the implicitization problem for a rational map φ : Pn 99K (P1)n+1 defining a hypersurface in (P1)n+1, based on computing the determinant of a graded strand of a Koszul complex. We show that the classical study of Macaulay Resultants and Koszul complexes coincides, in this case, with the approach of approximation complexes and we study and give a geometric interpretation for the acyclicity conditions. Under suitable hypotheses, these techniques enable us to obtain the implicit equation, up to a power, and up to some other extra factor. We give algebraic and geometric conditions for determining when the computed equation defines the scheme theoretic image of φ, and, what are the extra varieties that appear. We also give some applications to the problem of computing sparse discriminants.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the image of Euler’s totient function

Euler's totient function φ is the function defined on the positive natural numbers N * in the following way: if n ∈ N * , then φ(n) is the cardinal of the set {x ∈ N * : 1 ≤ x ≤ n, (x, n) = 1}, where (x, n) is the pgcd of x and n. Thus φ(1) = 1, φ(2) = 1, φ(3) = 2, φ(4) = 2, and so on. The principle aim of this article is to study certain aspects of the image of the function φ. 1 Elementary pro...

متن کامل

Fixed Point Theorems for Nonlinear Contractions in Menger Spaces

and Applied Analysis 3 Definition 2.7. Let X,F, t be a Menger space, and let T : X → X be a selfmapping. For each p ∈ X, x > 0 and n ∈ N, let M ( p, x, n ) min { FTkp,Tlp x : k, l ≤ n and k, l ∈ Z } , M1 ( p, x, n ) min { FTkp,Tlp x : k, l ≤ n and k, l ∈ N } , M2 ( p, x, n ) min { Fp,Tlp x : l ≤ n and l ∈ N } , O ( p, n ) { Tp : k ≤ n and k ∈ Z } , O ( p,∞ { Tp : k ∈ Z } , 2.3 where it is under...

متن کامل

Computing Puiseux Expansions at Cusps of the Modular Curve X0(N)

The function field of the modular curve X 0 (N) can be written as C(x 1)[x 2 ]/(φ N) where φ N ∈ Z[x 1 , x 2 ] satisfies φ N (j(τ), j(N τ)) = 0. A place P corresponds to a discrete valuation v P on the function field (v P (g) < 0 means that a function g has a pole at P , and v P (g) > 0 means a root, of that order). The cusps are the places P where x 1 , x 2 have poles. A Puiseux expansion at a...

متن کامل

Symmetric Spaces

Notations M Riemannian manifold. N 0 normal neighborhood of the origin in T p M. N p normal neighbourhood of p, N p = exp N 0. s p geodesic symmetry with respect to p. f Φ d Φ f = f • Φ. X Φ d Φ X. K(S) sectional curvature of M at p along the section S. D r s set of tensor fields of type (r, s). I(M) the set of all isometries on M Definition 1 (normal neighborhood) A neighborhood N p of p in M ...

متن کامل

Notes on Algebra (fields)

Proof. The intersection P of all subfields of F is a field by Exercise 1.4. Consider the ring homomorphism φ : Z → F given by φ(n) = n · 1. Since any subfield contains 1 and is closed under addition, imφ is contained in P . If Char F = p 6= 0 then imφ is isomorphic to Z/pZ = Fp. Since this is a field, we have P = imφ ∼= Fp. If Char F = 0 then φ is injective. Define φ̂ : Q → F by φ̂(m/n) = φ(m)/φ(...

متن کامل

Dynamics and Rational Maps a New Section for Chapter 7 of the Arithmetic of Dynamical Systems

N be a rational map, where f 0 ,. .. , f N are homogeneous polynomials of degree d with no common factors. Then φ is defined at all points not in the indeterminacy locus Z(φ) = { P ∈ P N : f 0 (P) = · · · = f N (P) = 0 }. The map φ is said to be dominant if the image φ (P N Z(φ)) is Zariski dense, i.e., does not lie in a proper algebraic subset of P N. Alternatively, the map φ is dominant if th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009